101. Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
Author: Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
2076
102. Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : Proceedings
Author: J. Leach Albert, B. Monien, M. Rodriguez Artalejo )eds.(
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
267
.
I5
1991
103. Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings
Author: W. Kuich )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
623
104. Automata theiry : machines and languages
Author: / Richard Y. Kain
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Machine theory,Formal languages,Mathematical linguistics
Classification :
001
.
53
K13a
105. Automata-theoretic aspects of formal power series
Author: Salomaa, Arto, 4391-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Sequential machine theory,، Formal languages,، Power series
Classification :
QA
267
.
5
.
S4S29
1978
106. Automata theory: Machines and languages
Author: Kain, Richard Y.
Library: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
Subject: ، Machine theory,، Formal languages,، Mathematical linguistics
Classification :
QA
267
.
K3A9
107. Automata theory and formal languages : 2nd GI Conference, Kaiserslautern, May 20-23, 1975
Author: edited by H. Brakhage on behalf GI
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
76
.
L28
Vol
.
33
108. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
Author: edited by H. Brakhage on behalf of GI
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
267
.
A924
109. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
Author: edited by H. Brakhage on behalf of GI
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages
Classification :
QA
76
.
L4
v
.
33
110. Automata theory : machines and languages
Author: Kain, Richard Y
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Machine theory,، Formal languages,، Mathematical linguistics
Classification :
QA
267
.
K35
111. Automata theory: machines and languages
Author: Kain, Richard Y.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory,، Formal languages,، Mathematical linguistics
Classification :
QA
267
.
K35
112. Automatentheorie und formale Sprachen
Author: Hotz, Gunter
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Machine theory,، Formal languages,، Machine theory
Classification :
QA
267
.
H6
113. Combinatorics on traces
Author: Diekert, Volker
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Sequential machine theory,، Formal languages
Classification :
QA
267
.
5
.
S4
.
D54
1990
114. Combinatorics on traces
Author: Diekert, Volker, 5591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Sequential machine theory,، Formal languages
Classification :
QA
76
.
L28
Vol
.
454
115. Communication and concurrency
پدیدآورنده : Milner, Robin
موضوع : ، Machine theory,، Formal languages
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
116. Communication and concurrency
Author: Milner, R.)Robin(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Formal languages
Classification :
QA
267
.
M533
1989
117. Communication and concurrency /
Author: Robin Milner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages.,Machine theory.,Operating systems (Computers).,Parallélisme (Informatique),Systèmes d'exploitation (Ordinateurs)-- Logiciels.,Betriebssystem,Betriebssystem.,Formal languages.,Kommunikationssystem,Kommunikationssystem.,Machine theory.,Parallelverarbeitung,Programmierung,Verteiltes System
Classification :
QA267
.
M533
1989
118. Communication and concurrency
Author: Milner, Robin
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Machine theory,، Formal languages
Classification :
QA
267
.
M533
119. Communication & concurrency
Author: MILNER,ROBIN
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: MACHINE THEORY , FORMAL LANGUAGES
Classification :
QA
267
.
M533
120. Computability, Complexity, and Languages
Author: \ Martin D. Davis, Elaine J. Weyuker
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبانهای صوری
Classification :
E-Book
,
